Anil Nerode (eds.): шукати на сайті Z-Library

Вільний доступ до знань та культури

Don't use scam websites

Книги (21)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Рік:

2018

Мова:

english

Файл:

PDF, 7.00 MB

0 / 0

english, 2018

2

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 8.76 MB

0 / 0

english, 1997

3

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 4.32 MB

0 / 0

english, 2013

4

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 8.83 MB

0 / 0

english, 2016

5

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 3.17 MB

3.0 / 0

english, 1994

6

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 6.28 MB

0 / 0

english, 2007

7

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 8.34 MB

0 / 0

english, 2007

8

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 7.65 MB

0 / 0

english, 2009

9

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 4.14 MB

0 / 0

english, 1995

10

Hybrid Systems IV

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 4.97 MB

0 / 0

english, 1997

11

Hybrid Systems IV

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 26.84 MB

0 / 0

english, 1997

12

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 6.46 MB

0 / 0

english, 1995

13

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 4.27 MB

0 / 0

english, 1997

14

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 6.01 MB

0 / 0

english, 2009

15

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 3.07 MB

0 / 0

english, 1997

16

Hybrid Systems V

Hybrid Systems V

Springer-Verlag Berlin Heidelberg

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 5.00 MB

0 / 0

english, 1999

17

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Рік:

1992

Мова:

english

Файл:

PDF, 8.42 MB

0 / 0

english, 1992

18

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Рік:

1992

Мова:

english

Файл:

DJVU, 4.90 MB

0 / 0

english, 1992

19

Hybrid Systems

Hybrid Systems

Springer-Verlag Berlin Heidelberg

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)

Рік:

1993

Мова:

english

Файл:

DJVU, 3.24 MB

0 / 0

english, 1993

20

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Рік:

1995

Мова:

english

Файл:

PDF, 6.63 MB

0 / 0

english, 1995

21

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)

Рік:

1975

Мова:

english

Файл:

PDF, 12.48 MB

0 / 0

english, 1975